Ordinal Diagrams II.
نویسندگان
چکیده
منابع مشابه
Decreasing Diagrams II
This theory formalizes a commutation version of decreasing diagrams for Church-Rosser modulo. The proof follows Felgenhauer and van Oostrom (RTA 2013). The theory also provides important specializations, in particular van Oostrom’s conversion version (TCS 2008) of decreasing diagrams. We follow the development described in [1]: Conversions are mapped to Greek strings, and we prove that whenever...
متن کاملMaps II : Chasing Diagrams
In categorical proof theory, propositions and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist paradigms of propositions-as-types and proofs-as-constructions , which lie in the foundation of computational logic. Moreover, in the categorical setting, a third paradigm arises, not available elsewhere: logical-operations-as-adjunctions. It ooers a...
متن کاملNew phase II control chart for monitoring ordinal contingency table based processes
In some statistical process monitoring applications, quality of a process or product is described by more than one ordinal factors called ordinal multivariate process. To show the relationship between these factors, an ordinal contingency table is used and modeled with ordinal log-linear model. In this paper, a new control charts based on ordinal-normal statistic is developed to monitor the ord...
متن کاملDecreasing - Diagrams - II By Bertram Felgenhauer
This theory formalizes a commutation version of decreasing diagrams for Church-Rosser modulo. The proof follows Felgenhauer and van Oostrom (RTA 2013). The theory also provides important specializations, in particular van Oostrom’s conversion version (TCS 2008) of decreasing diagrams. We follow the development described in [1]: Conversions are mapped to Greek strings, and we prove that whenever...
متن کاملOn Deformations of Pasting Diagrams, Ii
We continue the development of the infinitesimal deformation theory of pasting diagrams of k-linear categories begun in [8]. In [8] the standard result that all obstructions are cocycles was established only for the elementary, composition-free parts of pasting diagrams. In the present work we give a proof for pasting diagrams in general. As tools we use the method developed by Shrestha [6] of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Mathematical Society of Japan
سال: 1960
ISSN: 0025-5645
DOI: 10.2969/jmsj/01240385